r=(a b) a≤b3